nonstandard dynamic logic
非标准动态逻辑
热门查询
- counterproductive adj. 反生产的；使达不到预期目标的
- leishmaniasis n. [内科] 利什曼病
- info n. 信息；情报
- interview n. 接见，采访；面试，面谈 vt. 采访；接见；对…进行面谈；对某人进行面试
- harmonised vt. 使和谐 vi. 和谐（等于harmonize）
- sleeper n. 卧车；卧铺；枕木；睡眠者 n. (Sleeper)人名；(英)斯利珀
- poorhouse n. 救济院
- Bideford [地名] [英国] 比迪福德
- hydrostatic adj. 流体静力学的；静水力学的
- parser n. [计] 分析程序；语法剖析程式
- unvoiced adj. 清音的；未说出的；未出声的 v. 使变成无声；使清音化（unvoice的过去分词）
- ingenuity n. 心灵手巧，独创性；精巧；精巧的装置 n. 西门子公司将其品牌宣言“Ingenuity for life” 诠释为“博大精深 同心致远”
- fatso n. 胖子
- Dewar n. 杜瓦（Sir James，1842-1923，英国苏格兰化学家，物理学家）；杜瓦瓶（保温真空瓶，等于Dewar flask）；迪尤尔（姓氏）
- mincing adj. 装腔作势的；矫饰的 v. 切碎（mince的现在分词）
- cushioning n. 缓冲器；软垫 v. 缓和（cushion的ing形式）
- private school n. 私立学校 [网络] 私塾；民办学校；私立中小学
- semimolten 半熔化的
- skipping n. 跳跃；暂时把货物腾空 v. 跳过（skip的ing形式）；轻快的跳；遗漏
- jakes n. 厕所（位于户外）
考试词汇表
- students' right of learning
- studio allocations schedule
- study a situation firsthand
- study quality control codes
- stuffed chicken with shrimp
- stuffing and filling fibers
- stuffing box heat exchanger
- stump chipper, stump cutter
- stump conditioning exercise
- stypocladius appendiculatus
- styrax formosana hayataiana
- styrene rubber compositions
- styrene-acrylic latex paint
- styrene-acrylonitrile resin
- styrenes-butadiene-styrenes
- suaeda heteroptera kitagawa
- sub-bottom profiling system
- sub-carrier frequency shift
- sub-contracting arrangement
- sub-surface tillage machine
